SUBDIRS=haskell llvm rewrite-check
include ../../../include/kframework/ktest-group.mak
